$red = rgb(254, 67, 101)
$lightred = rgb(252, 157, 154)
$yellow = rgb(249, 205, 173)
$green = rgb(131, 175, 155)
$lightgreen = rgb(200, 200, 169)
$button_height = 32px
$font_size = 14px
$button_bg = white
$button_active-bg = #eeeeee
$border_radius = 4px
$color = #333333
$border_color = #999999
$border_color_hover = #666666